61![Programming in Martin-L¨ of ’s Type Theory Programming in Martin-L¨ of ’s Type Theory](https://www.pdfsearch.io/img/622a3daefe8933db2636d1841a06efd2.jpg) | Add to Reading ListSource URL: www.ens-lyon.frLanguage: English - Date: 2011-02-09 11:14:25
|
---|
62![A Brief History of InÞnity The infinite has always been a slippery concept. Even the commonly accepted mathematical view, developed by Georg Cantor, A Brief History of InÞnity The infinite has always been a slippery concept. Even the commonly accepted mathematical view, developed by Georg Cantor,](https://www.pdfsearch.io/img/fa144d70c0666b3195c05c5e7b115ba7.jpg) | Add to Reading ListSource URL: math123.netLanguage: English - Date: 2012-09-16 15:34:18
|
---|
63![GEORG CANTOR AND THE BATTLE FOR TRANSFINITE SET THEORY Joseph W. Dauben GEORG CANTOR AND THE BATTLE FOR TRANSFINITE SET THEORY Joseph W. Dauben](https://www.pdfsearch.io/img/8afff20c00eefa793b1f03a1102adcb1.jpg) | Add to Reading ListSource URL: www.acmsonline.orgLanguage: English - Date: 2004-08-23 17:18:44
|
---|
64![Report from Dagstuhl Seminar[removed]Computing with Infinite Data: Topological and Logical Report from Dagstuhl Seminar[removed]Computing with Infinite Data: Topological and Logical](https://www.pdfsearch.io/img/02e93211888e29c081a95ff624da9d6a.jpg) | Add to Reading ListSource URL: drops.dagstuhl.deLanguage: English - Date: 2012-01-12 03:38:24
|
---|
65![COLLOQUIA MATHEMATICA SOCIETATIS JANOS BOLYAI 10 . INFINITE AND FINITE SETS, KESZTHELY (HUNGARY), 1973 . COLLOQUIA MATHEMATICA SOCIETATIS JANOS BOLYAI 10 . INFINITE AND FINITE SETS, KESZTHELY (HUNGARY), 1973 .](https://www.pdfsearch.io/img/0d8cced0488fd04d209c68268a497d03.jpg) | Add to Reading ListSource URL: www.math-inst.huLanguage: English - Date: 2006-11-05 15:16:06
|
---|
66![Programming in Martin-L¨ of ’s Type Theory Programming in Martin-L¨ of ’s Type Theory](https://www.pdfsearch.io/img/ad72fbe07ec911481705a32a8dfa1793.jpg) | Add to Reading ListSource URL: www.cse.chalmers.seLanguage: English - Date: 2010-04-12 10:42:38
|
---|
67![GEORG CANTOR AND THE BATTLE FOR TRANSFINITE SET THEORY Joseph W. Dauben GEORG CANTOR AND THE BATTLE FOR TRANSFINITE SET THEORY Joseph W. Dauben](https://www.pdfsearch.io/img/6c3a98343203ac023f8332175b9fcce1.jpg) | Add to Reading ListSource URL: www.ikhebeenvraag.beLanguage: English - Date: 2008-10-06 07:23:30
|
---|
68![2.3 Cantor’s Infinite Numbers 75 2.3 Cantor’s Infinite Numbers 75](https://www.pdfsearch.io/img/cdb9c58aaf98aa19f056d8a341841dd9.jpg) | Add to Reading ListSource URL: sofia.nmsu.eduLanguage: English - Date: 2011-05-12 12:56:59
|
---|
69![A combinatorial algorithm minimizing submodular functions in strongly polynomial time Alexander Schrijver1 A combinatorial algorithm minimizing submodular functions in strongly polynomial time Alexander Schrijver1](https://www.pdfsearch.io/img/c4d6dd5eaa7189cc5b823031a7edec67.jpg) | Add to Reading ListSource URL: homepages.cwi.nlLanguage: English - Date: 2004-08-26 06:01:18
|
---|
70![Al-Kindi’s Mathematical Metaphysics: Al-Kindi uses infinity to disprove the eternity of the world. His first step can be summarized in his statements as follows: Al-Kindi’s Mathematical Metaphysics: Al-Kindi uses infinity to disprove the eternity of the world. His first step can be summarized in his statements as follows:](https://www.pdfsearch.io/img/f490c36dcf35d502f2b6239fab975aa3.jpg) | Add to Reading ListSource URL: www.muslimphilosophy.comLanguage: English - Date: 2007-01-25 17:30:15
|
---|